Formal analysis techniques for gossiping protocols

We give a survey of formal verification techniques that can be used to corroborate existing experimental results for gossiping protocols in a rigorous manner. We present properties of interest for gossiping protocols and discuss how various formal evaluation techniques can be employed to predict them

Search for companions around Sirius

Since the discovery of Sirius-B about 130 yr ago, there have been several claims of a possible second companion around the brightest star Sirius-A. Such a companion could, in particular, be responsible of the suspected colour change of the star, now strongly suggested from two independent historical sources. We reported here on a new observation of the sky region around Sirius, to search for such a companion, using a coronographic device. By comparison of the new stellar field with a similar image obtained by us $\sim$13 yr ago and using the Sirius proper motion, we are able to eliminate the most obvious companion candidates down to a magnitude m$_v$$\sim$17 in a field from 30 arcsec to 2.5 arcmin of the central star. None of the visible stars appears consistent in magnitude and colours with what expected from current theoretical models and observations of low-mass stars. From the study of the same field, it is also shown that the Sirius companion, consistently reported by observers during the years 1920-1930, is most probably an unrelated m$_g$$\simeq$12 background star, now $\sim$ 1 arcmin away but located precisely on the Sirius proper motion trajectory. The closest apparent conjunction with Sirius was realized in 1937 with a minimum angular distance of 6.9 arcsec, of the same order than the Sirius A-B binary separation. The reported observations do not eliminate the possibility of a second companion but now confined the search to the more central 30 arcsec region around Sirius. In particular, the existence of a long period companion cannot definitively be ruled out since the arbitrary orientation of the orbit can yield an observed projected position on sky inside this more central region.Comment: 6 pages, 4 figures, published in Astronomy and Astrophysic

JMIR Res Protoc

BACKGROUND: Effective antiretroviral therapy has greatly reduced HIV-related morbidity and mortality, dramatically changing the demographics of the population of people living with HIV. The majority of people living with HIV in France are well cared for insofar as their HIV infection is concerned but remain at risk for age-associated comorbidities. Their long-term, potentially complex, and growing care needs make the routine, longitudinal assessment of health-related quality of life and other patient-reported outcomes of relevance in the current treatment era. OBJECTIVE: We aim to describe the development of a Web-based electronic patient-reported outcomes system for people living with HIV linked to the ANRS CO3 Aquitaine cohort's data capture and visualization system (ARPEGE) and designed to facilitate the electronic collection of patient-reported data and ultimately promote better patient-physician communication and quality of care (both patient satisfaction and health outcomes). METHODS: Participants who meet the eligibility criteria will be invited to engage with the Web-based electronic patient-reported outcomes system and provided with the information necessary to create a personal patient account. They will then be able to access the electronic patient-reported outcomes system and complete a set of standardized validated questionnaires covering health-related quality of life (World Health Organization's Quality of Life Instrument in HIV infection, named WHOQOL-HIV BREF) and other patient-reported outcomes. The information provided via questionnaires will ultimately be presented in a summary format for clinicians, together with the patient's HIV care history. RESULTS: The prototype of the Web-based electronic patient-reported outcome system will be finalized and the first 2 formative research phases of the study (prototyping and usability testing) will be conducted from December 2017 to May 2018. We describe the sequential processes planned to ensure that the proposed electronic patient-reported outcome system is ready for formal pilot testing, referred to herein as phases 1a and 1b. We also describe the planned pilot-testing designed to evaluate the acceptability and use of the system from the patient's perspective (phase 2). CONCLUSIONS: As the underlying information technology solution, ARPEGE, has being developed in-house, should the feasibility study presented here yield promising results, the panel of services provided via the proposed portal could ultimately be expanded and used to experiment with health-promoting interventions in aging people living with HIV in hospital-based care or adapted for use in other patient populations. TRIAL REGISTRATION: ClinicalTrials.gov NCT03296202; https://clinicaltrials.gov/ct2/show/NCT03296202 (Archived by WebCite at http://www.webcitation.org/6zgOBArps). REGISTERED REPORT IDENTIFIER: RR1-10.2196/9439

MicroRNA-138 and microRNA-25 down-regulate mitochondrial calcium uniporter, causing the pulmonary arterial hypertension cancer phenotype

Rationale: Pulmonary arterial hypertension (PAH) is an obstructive vasculopathy characterized by excessive pulmonary artery smooth muscle cell (PASMC) proliferation, migration, and apoptosis resistance. This cancer-like phenotype is promoted by increased cytosolic calcium ([Ca2+]cyto), aerobic glycolysis, and mitochondrial fission. Objectives: To determine how changes in mitochondrial calcium uniporter (MCU) complex (MCUC) function influence mitochondrial dynamics and contribute to PAH’s cancer-like phenotype. Methods: PASMCs were isolated from patients with PAH and healthy control subjects and assessed for expression of MCUC subunits. Manipulation of the pore-forming subunit, MCU, in PASMCs was achieved through small interfering RNA knockdown or MCU plasmid-mediated up-regulation, as well as through modulation of the upstream microRNAs (miRs) miR-138 and miR-25. In vivo, nebulized anti-miRs were administered to rats with monocrotaline-induced PAH. Measurements and Main Results: Impaired MCUC function, resulting from down-regulation of MCU and up-regulation of an inhibitory subunit, mitochondrial calcium uptake protein 1, is central to PAH’s pathogenesis. MCUC dysfunction decreases intramitochondrial calcium ([Ca2+]mito), inhibiting pyruvate dehydrogenase activity and glucose oxidation, while increasing [Ca2+]cyto, promoting proliferation, migration, and fission. In PAH PASMCs, increasing MCU decreases cell migration, proliferation, and apoptosis resistance by lowering [Ca2+]cyto, raising [Ca2+]mito, and inhibiting fission. In normal PASMCs, MCUC inhibition recapitulates the PAH phenotype. In PAH, elevated miRs (notably miR-138) down-regulate MCU directly and also by decreasing MCU’s transcriptional regulator cAMP response element–binding protein 1. Nebulized anti-miRs against miR-25 and miR-138 restore MCU expression, reduce cell proliferation, and regress established PAH in the monocrotaline model. Conclusions: These results highlight miR-mediated MCUC dysfunction as a unifying mechanism in PAH that can be therapeutically targeted

Reinforced Concretes of Tomorrow: Corrosion Behaviour according to Exposure Classes

Reinforced concrete is the most widely used building material but its durability in terms of concrete cover performance and corrosion of steel rebar is still a key point to be studied. To address this topic, within the frame of the national project PERFDUB, two series of eleven reinforced concrete specimens (with metric dimensions) were cast with innovative concrete mixes representative of the French experience, two shapes of rebar and two concrete covers. Then, these specimens were exposed in two natural exposure sites, one in Epernon for carbonation (XC4) and a second one in La Rochelle in the Atlantic Ocean in a tidal zone for chloride ions (XS3m). Their corrosion was carried out using non-destructive testing. In addition, in order to follow the corrosion evolution more accurately in a continuous way, two series of three specimens were casted with embedded sensors and were exposed in two other outdoor sites in Marne-la-Vallée (XC4) and in Eqiom facility (XS3e). The first results of this 20-year project in terms of corrosion of these reinforced concrete specimens obtained with laboratory and field equipment and with monitoring are presented in this paper

17β-Estradiol and estrogen receptor α protect right ventricular function in pulmonary hypertension via BMPR2 and apelin

Women with pulmonary arterial hypertension (PAH) exhibit better right ventricular (RV) function and survival than men; however, the underlying mechanisms are unknown. We hypothesized that 17β-estradiol (E2), through estrogen receptor α (ER-α), attenuates PAH-induced RV failure (RVF) by upregulating the procontractile and prosurvival peptide apelin via a BMPR2-dependent mechanism. We found that ER-α and apelin expression were decreased in RV homogenates from patients with RVF and from rats with maladaptive (but not adaptive) RV remodeling. RV cardiomyocyte apelin abundance increased in vivo or in vitro after treatment with E2 or ER-α agonist. Studies employing ER-α–null or ER-β–null mice, ER-α loss-of-function mutant rats, or siRNA demonstrated that ER-α is necessary for E2 to upregulate RV apelin. E2 and ER-α increased BMPR2 in pulmonary hypertension RVs and in isolated RV cardiomyocytes, associated with ER-α binding to the Bmpr2 promoter. BMPR2 is required for E2-mediated increases in apelin abundance, and both BMPR2 and apelin are necessary for E2 to exert RV-protective effects. E2 or ER-α agonist rescued monocrotaline pulmonary hypertension and restored RV apelin and BMPR2. We identified what we believe to be a novel cardioprotective E2/ER-α/BMPR2/apelin axis in the RV. Harnessing this axis may lead to novel RV-targeted therapies for PAH patients of either sex

Circulating adrenomedullin estimates survival and reversibility of organ failure in sepsis: the prospective observational multinational Adrenomedullin and Outcome in Sepsis and Septic Shock-1 (AdrenOSS-1) study

Background: Adrenomedullin (ADM) regulates vascular tone and endothelial permeability during sepsis. Levels of circulating biologically active ADM (bio-ADM) show an inverse relationship with blood pressure and a direct relationship with vasopressor requirement. In the present prospective observational multinational Adrenomedullin and Outcome in Sepsis and Septic Shock 1 (, AdrenOSS-1) study, we assessed relationships between circulating bio-ADM during the initial intensive care unit (ICU) stay and short-term outcome in order to eventually design a biomarker-guided randomized controlled trial. Methods: AdrenOSS-1 was a prospective observational multinational study. The primary outcome was 28-day mortality. Secondary outcomes included organ failure as defined by Sequential Organ Failure Assessment (SOFA) score, organ support with focus on vasopressor/inotropic use, and need for renal replacement therapy. AdrenOSS-1 included 583 patients admitted to the ICU with sepsis or septic shock. Results: Circulating bio-ADM levels were measured upon admission and at day 2. Median bio-ADM concentration upon admission was 80.5 pg/ml [IQR 41.5-148.1 pg/ml]. Initial SOFA score was 7 [IQR 5-10], and 28-day mortality was 22%. We found marked associations between bio-ADM upon admission and 28-day mortality (unadjusted standardized HR 2.3 [CI 1.9-2.9]; adjusted HR 1.6 [CI 1.1-2.5]) and between bio-ADM levels and SOFA score (p < 0.0001). Need of vasopressor/inotrope, renal replacement therapy, and positive fluid balance were more prevalent in patients with a bio-ADM > 70 pg/ml upon admission than in those with bio-ADM ≤ 70 pg/ml. In patients with bio-ADM > 70 pg/ml upon admission, decrease in bio-ADM below 70 pg/ml at day 2 was associated with recovery of organ function at day 7 and better 28-day outcome (9.5% mortality). By contrast, persistently elevated bio-ADM at day 2 was associated with prolonged organ dysfunction and high 28-day mortality (38.1% mortality, HR 4.9, 95% CI 2.5-9.8). Conclusions: AdrenOSS-1 shows that early levels and rapid changes in bio-ADM estimate short-term outcome in sepsis and septic shock. These data are the backbone of the design of the biomarker-guided AdrenOSS-2 trial. Trial registration: ClinicalTrials.gov, NCT02393781. Registered on March 19, 2015